Nuprl Definition : es-rcv-atom
0,22
postcript
pdf
e
receives
a
== isrcv(
e
) & val(
e
):valtype(
e
)>>
a
latex
clarification:
es-rcv-atom(
es
;
e
;
a
) == es-isrcv(
es
;
e
) & es-val(
es
;
e
):es-valtype(
es
;
e
)>>
a
latex
Definitions
P
&
Q
,
b
,
isrcv(
e
)
,
x
:
T
>>
a
,
valtype(
e
)
,
val(
e
)
FDL editor aliases
es-rcv-atom
origin
bb